; TEST-ARGS: -disallow-ub-exploitation

define i8 @src(ptr %a) null_pointer_is_valid {
entry:
  %ptr = alloca i8
  call void @fn(ptr %ptr)
  %v = load i8, ptr %ptr
  ret i8 %v
}

declare void @fn(ptr) null_pointer_is_valid
